<script type="text/javascript">
var disqus_identifier = 'random_fill';
var disqus_title = 'Boost.AFIO random_fill';
</script>
